[MINIOS] Mapping page frames on demand added to the memory management.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 5 Jul 2006 13:29:57 +0000 (14:29 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 5 Jul 2006 13:29:57 +0000 (14:29 +0100)
commitcbffd93cada80251a78a6d4178138072f9ebc30f
treeaf9a0e0ab3b769141333aa9e0cdf2ca4038c0d30
parent5edcddf706ed90180701eac5a15cff6f3cec614d
[MINIOS] Mapping page frames on demand added to the memory management.

Signed-off-by: Steven Smith <sos22@cam.ac.uk>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/gnttab.c [new file with mode: 0644]
extras/mini-os/include/gnttab.h [new file with mode: 0644]
extras/mini-os/include/os.h
extras/mini-os/kernel.c